Frame problem in dynamic logic

Frame problem in dynamic logic

This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault’s syntax-based solution, Baker’s state-minimization policy, and Gelfond & Lifchitz’s Action Language A in the propositional dynamic logic (PDL). The formal relationships among these solutions are given. The results of the paper show that dynamic logic, as one of the formalisms ...

Encoding Solutions of the Frame Problem in Dynamic Logic

Encoding solutions to the frame problem in dynamic logic (Extended Abstract)

Framing the Frame Problem

Some parts of the software verification process require human annotation, but as much as possible of the rest should be automatic. An excellent candidate for full automation is change analysis, also known as the frame problem: how to determine which program properties remain unchanged under a given operation. The problem is particularly delicate in the case of programs using pointers or referen...

A general approach to linguistic approximation and its application in frame of fuzzy logic deduction

‎This paper deals with one problem that needs to be addressed in the emerging field known under the name computing with perceptions‎. ‎It is the problem of describing‎, ‎approximately‎, ‎a given fuzzy set in natural‎ ‎language‎. ‎This problem has lately been referred to as the problem of retranslation‎. ‎An approaches to ‎dealing with the retranslation problem is discussed in the paper‎, ‎that ...